581. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
582. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
583. Tutorial on software design techniques: October 12, 1976, San Francisco, California
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Computer programs
رده :
QA
76
.
6
.
T88
584. Understanding programming: an introduction using C++
پدیدآورنده : Cannon, Scott R.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، C++ )Computer program language(,، Electronic digital computers- Programming
رده :
QA
76
.
73
.
C153
C35
585. Unix systems programming
پدیدآورنده : Keith Frank Haviland
موضوع : Unix (Computer operating system),Electronic digital computers programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
586. Use of digital computers for engineering applications
پدیدآورنده : Haberman, Charles M
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Engineering,، FORTRAN )Computer program language(,، Electronic digital computers-- Programming
رده :
TA
343
.
H3
587. Using the IBM 1130
پدیدآورنده : Bork , Alfred M
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، IBM 0311 ) Computer(,، Electronic digital computers- Programming,، FORTRAN )computer program language(
رده :
QA
.
76
.
8
.
I125
B61
588. Virtual memory management
پدیدآورنده : / by Richard William Carr
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming,Virtual storage (Computer science)
رده :
QA76
.
6
.
C377
589. WATFOR/WATFIV FORTRAN programming
پدیدآورنده : Stuart, Fredric
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، FORTRAN )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
S82
590. Watfor/watfiv fortran programming
پدیدآورنده : STUART,FREDRIC
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : FORTRAN )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
S82
591. Writing pascal programs
پدیدآورنده : ROHL,JEFFREY SODEN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PASCAL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
P2
R636
1983
592. X window system program design and development
پدیدآورنده : Mikes, Steven
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، X Window System )Computer system(,، Electronic digital computers- Programming
593. Data structures and program design
پدیدآورنده : Kruse, Robert Leroy
موضوع : ، Electronic digital computers-- Programming,، Data structures )Computer science(,، Pascal )Computer program language(
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
594. introduction to computer sciences
پدیدآورنده : Jean Paul Tremblay
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Electronic digital computers-programming,Algorithms,Data structures )computer sciences(
رده :
QA
76
.
6
.
T73
1989
